

import re

pattern = r"1[3-9]\d{9}"

file_cont = ""
with open("./webpage_phone_numbers.txt") as fin:
	file_cont = fin.read()

results = re.findall(pattern, file_cont)

print(len(results))
for result in results:
	print(result)